Data types - PDFSEARCH.IO - Document Search Engine

Data types
Results: 6238

#	Item
141	Secrets of the Glasgow Haskell Compiler inliner Simon Peyton Jones Microsoft Research Ltd, Cambridge Simon Marlow Add to Reading List Source URL: research.microsoft.com Language: English - Date: 1999-09-06 04:29:36 Software engineering Computer programming Computing Subroutines Type theory Lambda calculus Theoretical computer science Data types Inline expansion Mutual recursion Recursion Standard ML
142	Programovací jazyky F# a OCaml Chapter 4. Generic and recursive types Generic types Add to Reading List Source URL: tomasp.net Language: English Software engineering Computer programming Computing Data types Functional languages Type theory Recursion Functional programming OCaml Caml Recursive data type ML
143	NV-Heaps: Making Persistent Objects Fast and Safe with Next-Generation, Non-Volatile Memories Joel Coburn Adrian M. Caulfield Ameen Akel Add to Reading List Source URL: mesl.ucsd.edu Language: English - Date: 2011-04-30 02:44:38 Computing Software engineering Memory management C++ Data types Computer programming Software bugs Primitive types C dynamic memory allocation Garbage collection Pointer Heap
144	Product Data Sheet ULTRA RAPID CEMENT 1 Add to Reading List Source URL: www.ceratechinc.com Language: English - Date: 2015-05-01 15:17:54 Construction Real estate Building materials Concrete Matter Thermoplastics Pavements Cement Types of concrete ASTM International Polystyrene Polyamide-imide
145	Design of Parallel and High Performance Computing HS 2014 Torsten Hoefler, Markus P¨ uschel Department of Computer Science ETH Zurich Add to Reading List Source URL: spcl.inf.ethz.ch Language: English - Date: 2014-10-30 05:58:05 Computing Abstract data types Concurrency control Concurrent computing Transaction processing Computer architecture Linearizability Concurrent programming languages Shared register Queue Sequential consistency XC
146	Programming Model and Synthesis for Low-power Spatial Architectures Add to Reading List Source URL: pl.eecs.berkeley.edu Language: English - Date: 2015-02-13 21:22:05 Software engineering Programming language theory Computer programming C++ Data types Concurrent programming languages C Procedural programming languages XC Const C++ classes Typedef
147	Annotation Generation Frama-C’s annotation generator plug-in for Frama-C Aluminium Add to Reading List Source URL: frama-c.com Language: English - Date: 2016-06-01 04:33:33 Software engineering Software Computing C Programming language implementation Frama-C Data types Undefined behavior Integer overflow C99 Exception handling Unspecified behavior
148	Data Cleaning 101 Ronald Cody, Ed.D., Robert Wood Johnson Medical School, Piscataway, NJ INTRODUCTION CHECKING FOR INVALID CHARACTER VALUES Add to Reading List Source URL: www.ats.ucla.edu Language: English - Date: 2016-08-17 18:18:26 Computing Software engineering Statistics Data types Business intelligence Type theory Subroutines Variable Constant Data cleansing Lookup table Parameter
149	Supplying Employers’ Liability Data A Broker’s Guide This guide is intended for brokers, managing general agents and delegated authorities and explains what Employers’ Liability policy information needs to Add to Reading List Source URL: www.elto.org.uk Language: English - Date: 2015-09-24 10:05:48 Economy Finance Financial institutions Insurance Pay-as-you-earn tax Microeconomics Types of insurance
150	SnapQueue: Lock-Free Queue with Constant Time Snapshots Aleksandar Prokopec École Polytechnique Fédérale de Lausanne, Switzerland Abstract Add to Reading List Source URL: axel22.github.io Language: English - Date: 2016-08-13 13:11:44 Abstract data types Computing Data structures Software engineering Computer science Queue Double-ended queue Amortized analysis Persistent data structure Rope Conc-Tree list

UPDATE